Termination of the given JBC could be proven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_16 (Sun Microsystems Inc.) Main-Class: Sharing

public class Sharing {

    private Sharing next;

    public Sharing(Sharing next) {
	this.next = next;
    }

    public void iter(Sharing other) {
	Sharing cursor = this;

	while (cursor != null) {
	    other.next = new Sharing(null);
	    other = other.next;

	    cursor = cursor.next;
	}
    }

    public static void main(String[] args) {
	Sharing sh1 = new Sharing(new Sharing(new Sharing(null)));
	Sharing sh2 = new Sharing(new Sharing(null));
	sh2.next.next = sh2;
	sh1.iter(sh2);
    }
}

(1) JBC2FIG (SOUND transformation)

Constructed FIGraph.

(2) Obligation:

FIGraph based on JBC Program:
Sharing.main([Ljava/lang/String;)V: Graph of 128 nodes with 0 SCCs.

(3) FIGtoITRSProof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Logs:

(4) TRUE